1. Formal methods for protocol engineering and distributed systems :
Author: edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.
Classification :
QA76
.
9
.
F67
E358
1999
